Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic
نویسنده
چکیده
The author proposed concepts of Operator Fuzzy Logic and-Resolution in 1984. He and his cooperaters have obtained some theoretical results. This paper introduces-paramodulation to handle a set of clauses with the predicate of equality, and thus the equality substitution can be used in fuzzy reasoning. Then the-paramodulation method is proved to be complete with lock-semantic method. Finally, Yang Fengjie and I have improved the paramodulation, and proved that the linear paramodulation is complete too.
منابع مشابه
On convolution properties for some classes of meromorphic functions associated with linear operator
In this paper, we defined two classes $S_{p}^{ast }(n,lambda ,A,B)$ and\ $ K_{p}(n,lambda ,A,B)$ of meromorphic $p-$valent functions associated with a new linear operator. We obtained convolution properties for functions in these classes.
متن کاملA geographic information system for gas power plant location using analytical hierarchy process and fuzzy logic
This study recommends a GIS-based (Geographic Information Systems) and multi-criteria evaluation for site selection of gas power plant in Natanz City of Iran. The multi-criteria decision framework integrates legal requirements and physical constraints related to environmental and economic concerns. It also builds a hierarchy model for gas power plant suitability. The methodologies used for site...
متن کاملLPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Otter-lambda is a theorem-prover based on an untyped logic with lambda calculus, called Lambda Logic. Otter-lambda is built on Otter, so it uses resolution proof search, supplemented by demodulation and paramodulation for equality reasoning, but it also uses a new algorithm, lambda unification, for instantiating variables for functions or predicates. The basic idea of a typed interpretation of ...
متن کاملCategory-based Semantic Paramodulation
We introduce the concept of semantic paramodulation as a \semantic" de nition of paramodulation (in the sense that it applies to any model, not only to the term algebra) within the framework of category-based equational logic (introduced by [8, 9]). This not only generalises the traditional syntactic approaches to paramodulation, but also provides an abstract framework for a uni ed treatment of...
متن کاملAssessment of Soil Erosion Risk by Using Fuzzy Logic Model in Seymareh Chenar Basin
Extended abstract 1- Introduction Soil erosion is a process in which soil is separated from its original bed and transported to another location with the help of a moving agent [17]. Soil erosion is one of the serious problems in the watersheds of Iran and can be considered as one of the most important barriers to sustainable agriculture and natural resources development [6]. Soil erosio...
متن کامل